By the king's orders great stones, stones of high price, were cut out, so that the base of the house might be made of squared stone.